Susan Owicki : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (22)
Les plus populaires
Liste
- Liste
- Tableau

1

Network objects

Andrew Birrell, Greg Nelson, Susan Owicki, Edward Wobber

Journal:

Software: Practice and Experience

Année:

1995

Langue:

english

Fichier:

PDF, 2.79 MB

english, 1995

2

Proving Liveness Properties of Concurrent Programs

Owicki, Susan, Lamport, Leslie

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1982

Langue:

english

Fichier:

PDF, 2.03 MB

english, 1982

3

Verifying properties of parallel programs: an axiomatic approach

Owicki, Susan, Gries, David

Journal:

Communications of the ACM

Année:

1976

Langue:

english

Fichier:

PDF, 656 KB

english, 1976

4

Construction of centered shortest-path trees in networks

David W. Wall, Susan Owicki

Journal:

Année:

1983

Langue:

english

Fichier:

PDF, 1.16 MB

english, 1983

5

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries

Journal:

Acta Informatica

Année:

1976

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1976

6

A model and temporal proof system for networks of processes

Van Nguyen, Alan Demers, David Gries, Susan Owicki

Journal:

Distributed Computing

Année:

1986

Langue:

english

Fichier:

PDF, 1.72 MB

english, 1986

7

Location and dynamics of a membrane-bound fluorescent hapten. A spectroscopic study

Susan G. Stanton, Aaron B. Kantor, Ashot Petrossian, John C. Owicki

Journal:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Année:

1984

Langue:

english

Fichier:

PDF, 688 KB

english, 1984

8

[ACM Press the second annual ACM symposium - Montreal, Quebec, Canada (1983.08.17-1983.08.19)] Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 - Maintaining the time in a distributed system

Marzullo, Keith, Owicki, Susan

Année:

1983

Langue:

english

Fichier:

PDF, 900 KB

english, 1983

9

Empirical studies of competitve spinning for a shared-memory multiprocessor

Karlin, Anna R., Li, Kai, Manasse, Mark S., Owicki, Susan

Journal:

ACM SIGOPS Operating Systems Review

Année:

1991

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1991

10

[ACM Press the thirteenth ACM symposium - Pacific Grove, California, United States (1991.10.13-1991.10.16)] Proceedings of the thirteenth ACM symposium on Operating systems principles - SOSP '91 - Empirical studies of competitve spinning for a shared-memory multiprocessor

Karlin, Anna R., Li, Kai, Manasse, Mark S., Owicki, Susan

Année:

1991

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1991

11

[ACM Press the 1992 ACM SIGMETRICS joint international conference - Newport, Rhode Island, United States (1992.06.01-1992.06.05)] Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92 - Factors in the performance of the AN1 computer network

Owicki, Susan S., Karlin, Anna R.

Année:

1992

Langue:

english

Fichier:

PDF, 1.26 MB

english, 1992

12

[ACM Press the fourteenth ACM symposium - Asheville, North Carolina, United States (1993.12.05-1993.12.08)] Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93 - Network objects

Birrell, Andrew, Nelson, Greg, Owicki, Susan, Wobber, Edward

Année:

1993

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1993

13

High-speed switch scheduling for local-area networks

Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Journal:

ACM Transactions on Computer Systems

Année:

1993

Langue:

english

Fichier:

PDF, 2.26 MB

english, 1993

14

[ACM Press the 8th ACM SIGPLAN-SIGACT symposium - Williamsburg, Virginia (1981.01.26-1981.01.28)] Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81 - Making the world safe for garbage collection

Année:

1981

Langue:

english

Fichier:

PDF, 945 KB

english, 1981

15

[ACM Press the second annual ACM symposium - Montreal, Quebec, Canada (1983.08.17-1983.08.19)] Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 - GEM

Lansky, Amy L., Owicki, Susan S.

Année:

1983

Langue:

english

Fichier:

PDF, 1.11 MB

english, 1983

16

[ACM Press the fifth international conference - Boston, Massachusetts, United States (1992.10.12-1992.10.15)] Proceedings of the fifth international conference on Architectural support for programming languages and operating systems - ASPLOS-V - High speed switch scheduling for local area networks

Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Année:

1992

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1992

17

[ACM Press the twelfth annual ACM symposium - Ithaca, New York, United States (1993.08.15-1993.08.18)] Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93 - A perspective on AN2

Owicki, Susan S.

Année:

1993

Langue:

english

Fichier:

PDF, 955 KB

english, 1993

18

[ACM Press the eighth annual ACM symposium - Hershey, Pennsylvania, United States (1976.05.03-1976.05.05)] Proceedings of the eighth annual ACM symposium on Theory of computing - STOC '76 - A consistent and complete deductive system for the verification of parallel programs

Année:

1976

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1976

19

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - A model and temporal proof system for networks of processes

Nguyen, Van, Gries, David, Owicki, Susan

Année:

1985

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1985

20

Network objects

Birrell, Andrew, Nelson, Greg, Owicki, Susan, Wobber, Edward

Journal:

ACM SIGOPS Operating Systems Review

Année:

1993

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1993

21

High speed switch scheduling for local area networks

Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Journal:

ACM SIGPLAN Notices

Année:

1992

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1992

22

Maintaining the time in a distributed system

Marzullo, Keith, Owicki, Susan

Journal:

ACM SIGOPS Operating Systems Review

Année:

1985

Langue:

english

Fichier:

PDF, 1019 KB

english, 1985